Modeling information repositories consistency and auditing through Alloy and Ccalc

Authors: Francisco J. Cantu, Hector G. Ceballos, Ramon F. Brena

Research in Computing Science, Vol. 52, pp. 169-178, 2011.

PDF: Modeling information repositories consistency and auditing through Alloy and Ccalc
PDF: Modeling information repositories consistency and auditing through Alloy and Ccalc